首页> 外文OA文献 >An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic

【2h】

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic

机译：无量纲预燃算法的插值序列微积分

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Angelo Brillout; Daniel Kroening; Thomas Wahl;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic [J] . Angelo Brillout, Daniel Kroening, Philipp Rummer, Journal of Automated Reasoning . 2011,第4期

机译：无插值Presburger算法的插值后续演算
2. A practical approach to model checking Duration Calculus using Presburger Arithmetic [J] . Michael R. Hansen, Anh-Dung Phan, Aske W. Brekling Annals of Mathematics and Artificial Intelligence . 2014,第1a3期

机译：一种使用Presburger算法对工期微积分进行模型检查的实用方法
3. Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds [J] . SanjitASeshia, RandalEBryant Logical Methods in Computer Science . 2005,第2期

机译：使用参数化解边界确定无量词的Presburger公式
4. An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic [C] . Angelo Brillout, Daniel Kroening, Philipp Ruemmer, Automated reasoning . 2010

机译：无插值Presburger算法的插值后续演算
5. The Computational Complexity of Presburger Arithmetic [D] . Nguyen Luu, Danh. 2018

机译：Presburger算法的计算复杂性
6. Free-breathing radial volumetric interpolated breath-hold examination vs breath-hold cartesian volumetric interpolated breath-hold examination magnetic resonance imaging of the liver at 1.5T [O] . Sireesha Yedururi, HyunSeon C Kang, Wei Wei, 2016

机译：自由呼吸放射状容积内插式屏气检查与呼吸状笛卡尔容积内插式屏气检查在1.5T时肝脏的磁共振成像
7. An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. [O] . Brillout, A, Kroening, D, Rümmer, P, 2011

机译：无量化器的Presburger算法的插值后续演算。

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic

著录项

引文网络

相似文献

相关主题

期刊订阅